/*
 * @ : Copyright (c) 2021 Phytium Information Technology, Inc. 
 *  
 * SPDX-License-Identifier: Apache-2.0.
 * 
 * @Date: 2021-06-29 08:59:15
 * @LastEditTime: 2021-08-30 21:56:25
 * @Description:  This files is for 
 * 
 * @Modify History: 
 *  Ver   Who        Date         Changes
 * ----- ------     --------    --------------------------------------
 */

#ifndef BSP_ARCH_AARCH32_CACHE_H
#define BSP_ARCH_AARCH32_CACHE_H

#include "ft_types.h"

/*  Dcache */
void FCacheDCacheEnable(void);
void FCacheDCacheDisable(void);
void FCacheDCacheFlushLine(u32 adr);
void FCacheDCacheInvalidate(void);
void FCacheDCacheInvalidateRange(uintptr adr, u32 len);
void FCacheDCacheFlush(void);
void FCacheDCacheFlushRange(uintptr adr, u32 len);

/*  Icache */
void FCacheICacheEnable(void);
void FCacheICacheDisable(void);
void FCacheICacheInvalidate(void);
void FCacheICacheInvalidateLine(u32 adr);
void FCacheICacheInvalidateRange(uintptr adr, u32 len);

#endif